Rinard, Martin C.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[ACM Press the 16th ACM SIGPLAN conference - Tampa Bay, FL, USA (2001.10.14-2001.10.18)] Proceedings of the 16th ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications - OOPSLA '01 - A parameterized type system for race-free Java programs

Boyapati, Chandrasekhar, Rinard, Martin

Year:

2001

File:

PDF, 433 KB

2001

2

Perceived-Color Approximation Transforms for Programs that Draw

Stanley-Marbell, Phillip, Rinard, Martin

Journal:

Year:

2018

Language:

english

File:

PDF, 785 KB

english, 2018

3

Deciding Boolean Algebra with Presburger Arithmetic

Viktor Kuncak, Huu Hai Nguyen, Martin Rinard

Journal:

Journal of Automated Reasoning

Year:

2006

Language:

english

File:

PDF, 586 KB

english, 2006

4

[ACM Press the 17th ACM SIGPLAN-SIGACT symposium - San Francisco, California, United States (1990..-..)] Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '90 - Concurrent constraint programming

Saraswat, Vijay A., Rinard, Martin

Year:

1990

Language:

english

File:

PDF, 1.50 MB

english, 1990

5

[IEEE Distributed Processing Symposium (IPDPS) - Miami, FL, USA (2008.04.14-2008.04.18)] 2008 IEEE International Symposium on Parallel and Distributed Processing - Verifying linked data structure implementations

Zee, Karen, Kuncak, Viktor, Rinard, Martin

Year:

2008

Language:

english

File:

PDF, 183 KB

english, 2008

6

Automatic runtime error repair and containment via recovery shepherding

Long, Fan, Sidiroglou-Douskos, Stelios, Rinard, Martin

Journal:

ACM SIGPLAN Notices

Year:

2014

Language:

english

File:

PDF, 435 KB

english, 2014

7

[ACM Press the 2003 ACM SIGPLAN conference - San Diego, California, USA (2003.06.11-2003.06.13)] Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems - LCTES '03 - Data size optimizations for java programs

Ananian, C. Scott, Rinard, Martin

Year:

2003

Language:

english

File:

PDF, 341 KB

english, 2003

8

Automatic detection and repair of errors in data structures

Demsky, Brian, Rinard, Martin

Journal:

ACM SIGPLAN Notices

Year:

2003

Language:

english

File:

PDF, 333 KB

english, 2003

9

Pointer analysis for structured parallel programs

Rugina, Radu, Rinard, Martin C.

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2003

Language:

english

File:

PDF, 374 KB

english, 2003

10

Commutativity analysis: a new analysis technique for parallelizing compilers

Rinard, Martin C., Diniz, Pedro C.

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1997

Language:

english

File:

PDF, 462 KB

english, 1997

11

[ACM Press the 24th international conference - Orlando, Florida (2002.05.19-2002.05.25)] Proceedings of the 24th international conference on Software engineering - ICSE '02 - Role-based exploration of object-oriented programs

Demsky, Brian, Rinard, Martin

Year:

2002

Language:

english

File:

PDF, 1.18 MB

english, 2002

12

[ACM Press the ACM SIGPLAN 2003 conference - San Diego, California, USA (2003.06.09-2003.06.11)] Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation - PLDI '03 - Ownership types for safe region-based memory management in real-time Java

Boyapati, Chandrasekhar, Salcianu, Alexandru, Beebee, William, Rinard, Martin

Year:

2003

Language:

english

File:

PDF, 366 KB

english, 2003

13

[IEEE 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE) - Montreal, QC, Canada (2019.5.25-2019.5.31)] 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE) - Interactive Production Performance Feedback in the IDE

Cito, Jurgen, Leitner, Philipp, Rinard, Martin, Gall, Harald C.

Year:

2019

Language:

english

File:

PDF, 1.31 MB

english, 2019

14

Optimal approximate sampling from discrete probability distributions

Saad, Feras A., Freer, Cameron E., Rinard, Martin C., Mansinghka, Vikash K.

Journal:

Proceedings of the ACM on Programming Languages

Year:

2019

Language:

english

File:

PDF, 9.26 MB

english, 2019

15

Optimal approximate sampling from discrete probability distributions

Saad, Feras A., Freer, Cameron E., Rinard, Martin C., Mansinghka, Vikash K.

Journal:

Proceedings of the ACM on Programming Languages

Year:

2019

File:

PDF, 9.26 MB

2019

16

Applications experience in Jade

RINARD, MARTIN C.

Journal:

Concurrency Practice and Experience

Year:

1998

Language:

english

File:

PDF, 198 KB

english, 1998

17

Synchronization transformations for parallel computing

Diniz, Pedro C., Rinard, Martin C.

Journal:

Concurrency Practice and Experience

Year:

1999

Language:

english

File:

PDF, 228 KB

english, 1999

18

Lock Coarsening: Eliminating Lock Overhead in Automatically Parallelized Object-Based Programs

Pedro C. Diniz, Martin C. Rinard

Journal:

Journal of Parallel and Distributed Computing

Year:

1998

Language:

english

File:

PDF, 306 KB

english, 1998

19

Automated Techniques for Surviving (Otherwise) Fatal Software Errors

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 136 KB

english, 2007

20

Decision Procedures for Set-Valued Fields

Viktor Kuncak, Martin Rinard

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 257 KB

english, 2005

21

Deductive Runtime Certification

Konstantine Arkoudas, Martin Rinard

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 320 KB

english, 2005

22

Rapid haplotype inference for nuclear families

Amy L Williams, David E Housman, Martin C Rinard, David K Gifford

Journal:

Year:

2010

Language:

english

File:

PDF, 693 KB

english, 2010

23

[ACM Press the 33rd ACM SIGPLAN conference - Beijing, China (2012.06.11-2012.06.16)] Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation - PLDI '12 - Concurrent data representation synthesis

Hawkins, Peter, Aiken, Alex, Fisher, Kathleen, Rinard, Martin, Sagiv, Mooly

Year:

2012

Language:

english

File:

PDF, 676 KB

english, 2012

24

Parallelizing Sequential Programs with Statistical Accuracy Tests

Misailovic, Sasa, Kim, Deokhwan, Rinard, Martin

Journal:

ACM Transactions on Embedded Computing Systems

Year:

2013

Language:

english

File:

PDF, 1.19 MB

english, 2013

25

[ACM Press the 18th ACM conference - Chicago, Illinois, USA (2011.10.17-2011.10.21)] Proceedings of the 18th ACM conference on Computer and communications security - CCS '11 - Automatic error finding in access-control policies

Jayaraman, Karthick, Ganesh, Vijay, Tripunitara, Mahesh, Rinard, Martin, Chapin, Steve

Year:

2011

Language:

english

File:

PDF, 734 KB

english, 2011

26

[ACM Press the ACM SIGOPS 22nd symposium - Big Sky, Montana, USA (2009.10.11-2009.10.14)] Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles - SOSP '09 - Automatically patching errors in deployed software

Perkins, Jeff H., Sullivan, Greg, Wong, Weng-Fai, Zibin, Yoav, Ernst, Michael D., Rinard, Martin, Kim, Sunghun, Larsen, Sam, Amarasinghe, Saman, Bachrach, Jonathan, Carbin, Michael, Pacheco, Carlos, S

Year:

2009

Language:

english

File:

PDF, 460 KB

english, 2009

27

[IEEE 2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, Romania (2009.09.26-2009.09.29)] 2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - A Hierarchy of Tractable Subclasses for SAT and Counting SAT Problems

Andrei, Stefan, Grigoras, Gheorghe, Rinard, Martin, Yap, Roland Hock Chuan

Year:

2009

Language:

english

File:

PDF, 215 KB

english, 2009

28

[IEEE 2009 7th IEEE/ACM International Conference on Formal Methods and Models for Co-Design (MEMOCODE) - Cambridge, MA, USA (2009.07.13-2009.07.15)] 2009 7th IEEE/ACM International Conference on Formal Methods and Models for Co-Design - Survival strategies for synthesized hardware systems

Year:

2009

Language:

english

File:

PDF, 137 KB

english, 2009

29

[IEEE 2006 Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - timisoara, Romania (2006.09.26-2006.09.29)] 2006 Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Incremental Deterministic Planning

Andrei, Stefan, Chin, Wei-ngan, Rinard, Martin

Year:

2006

Language:

english

File:

PDF, 261 KB

english, 2006

30

[IEEE 2012 34th International Conference on Software Engineering (ICSE) - Zurich, Switzerland (2012.06.2-2012.06.9)] 2012 34th International Conference on Software Engineering (ICSE) - Automatic input rectification

Long, Fan, Ganesh, Vijay, Carbin, Michael, Sidiroglou, Stelios, Rinard, Martin

Year:

2012

Language:

english

File:

PDF, 2.22 MB

english, 2012

31

[ACM Press the 19th international symposium - Trento, Italy (2010.07.12-2010.07.16)] Proceedings of the 19th international symposium on Software testing and analysis - ISSTA '10 - Automatically identifying critical input regions and code in applications

Carbin, Michael, Rinard, Martin C.

Year:

2010

Language:

english

File:

PDF, 560 KB

english, 2010

32

[IEEE 2007 IEEE International Parallel and Distributed Processing Symposium - Long Beach, CA, USA (2007.03.26-2007.03.30)] 2007 IEEE International Parallel and Distributed Processing Symposium - Static Verification of Design Constraints and Software Correctness Properties in the Hob System

Lam, Patrick, Rinard, Martin

Year:

2007

Language:

english

File:

PDF, 108 KB

english, 2007

33

[IEEE 2010 IEEE 16th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) - Macau, China (2010.08.23-2010.08.25)] 2010 IEEE 16th International Conference on Embedded and Real-Time Computing Systems and Applications - Optimal Scheduling of Urgent Preemptive Tasks

Andrei, Stefan, Cheng, Albert, Rinard, Martin, Osborne, Lawrence

Year:

2010

Language:

english

File:

PDF, 355 KB

english, 2010

34

[Internet Society Network and Distributed System Security Symposium - San Diego, CA (February 8-11, 2015)] Proceedings 2015 Network and Distributed System Security Symposium - Information-Flow Analysis of Android Applications in DroidSafe

Gordon, Michael I., Kim, Deokhwan, Perkins, Jeff, Gilham, Limei, Nguyen, Nguyen, Rinard, Martin

Year:

2015

Language:

english

File:

PDF, 518 KB

english, 2015

35

A classification system and analysis for aspect-oriented programs

Rinard, Martin, Salcianu, Alexandru, Bugrara, Suhabe

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2004

Language:

english

File:

PDF, 242 KB

english, 2004

36

Example-driven program synthesis for end-user programming

Rinard, Martin C.

Journal:

Communications of the ACM

Year:

2012

Language:

english

File:

PDF, 475 KB

english, 2012

37

An introduction to data representation synthesis

Hawkins, Peter, Rinard, Martin, Aiken, Alex, Sagiv, Mooly, Fisher, Kathleen

Journal:

Communications of the ACM

Year:

2012

Language:

english

File:

PDF, 776 KB

english, 2012

38

[ACM Press the 36th ACM SIGPLAN Conference - Portland, OR, USA (2015.06.13-2015.06.17)] Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2015 - Automatic error elimination by horizontal code transfer across multiple applications

Sidiroglou-Douskos, Stelios, Lahtinen, Eric, Long, Fan, Rinard, Martin

Year:

2015

Language:

english

File:

PDF, 369 KB

english, 2015

39

[ACM Press the conference - Limerick, Ireland (2000.06.04-2000.06.11)] Proceedings of the conference on The future of Software engineering - ICSE '00 - Software analysis: a roadmap

Jackson, Daniel, Rinard, Martin

Year:

2000

Language:

english

File:

PDF, 1.44 MB

english, 2000

40

[ACM Press Companion to the 21st ACM SIGPLAN conference - Portland, Oregon, USA (2006.10.22-2006.10.26)] Companion to the 21st ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications - OOPSLA '06 - The ultra challenge

Fraser, Steven, Kiczales, Gregor, Lopez, Ricardo, Neumann, Peter G., Northrop, Linda, Rinard, Martin, Schmidt, Douglas, Sullivan, Kevin

Year:

2006

Language:

english

File:

PDF, 193 KB

english, 2006

41

[ACM Press the 6th international symposium - Montreal, Quebec, Canada (2007.10.21-2007.10.22)] Proceedings of the 6th international symposium on Memory management - ISMM '07 - Detecting and eliminating memory leaks using cyclic memory allocation

Nguyen, Huu Hai, Rinard, Martin

Year:

2007

Language:

english

File:

PDF, 232 KB

english, 2007

42

[ACM Press the 2008 ACM SIGPLAN conference - Tucson, AZ, USA (2008.06.07-2008.06.13)] Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation - PLDI '08 - Full functional verification of linked data structures

Zee, Karen, Kuncak, Viktor, Rinard, Martin

Year:

2008

Language:

english

File:

PDF, 332 KB

english, 2008

43

[ACM Press the 12th ACM SIGSOFT twelfth international symposium - Newport Beach, CA, USA (2004.10.31-2004.11.06)] Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering - SIGSOFT '04/FSE-12 - A classification system and analysis for aspect-oriented programs

Rinard, Martin, Salcianu, Alexandru, Bugrara, Suhabe

Year:

2004

Language:

english

File:

PDF, 242 KB

english, 2004

44

[ACM Press Companion to the 20th annual ACM SIGPLAN conference - San Diego, CA, USA (2005.10.16-2005.10.20)] Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA '05 - Exploring the acceptability envelope

Rinard, Martin, Cadar, Cristian, Nguyen, Huu Hai

Year:

2005

Language:

english

File:

PDF, 130 KB

english, 2005

45

[ACM Press the 2006 international symposium - Portland, Maine, USA (2006.07.17-2006.07.20)] Proceedings of the 2006 international symposium on Software testing and analysis - ISSTA'06 - Inference and enforcement of data structure consistency specifications

Demsky, Brian, Ernst, Michael D., Guo, Philip J., McCamant, Stephen, Perkins, Jeff H., Rinard, Martin

Year:

2006

Language:

english

File:

PDF, 168 KB

english, 2006

46

[ACM Press the 11th annual international conference - Potsdam, Germany (2012.03.25-2012.03.30)] Proceedings of the 11th annual international conference on Aspect-oriented Software Development Companion - AOSD Companion '12 - What to do when things go wrong

Year:

2012

Language:

english

File:

PDF, 323 KB

english, 2012

47

[ACM Press the 3rd annual conference - Tucson, Arizona, USA (2012.10.19-2012.10.26)] Proceedings of the 3rd annual conference on Systems, programming, and applications: software for humanity - SPLASH '12 - Workshop on relaxing synchronization for multicore and manycore scalability (RACES 2012)

Black, Andrew P., D'Hondt, Theo, Kimelman, Doug, Rinard, Martin, Ungar, David

Year:

2012

Language:

english

File:

PDF, 367 KB

english, 2012

48

[ACM Press the 2012 ACM workshop - Tucson, Arizona, USA (2012.10.21-2012.10.21)] Proceedings of the 2012 ACM workshop on Relaxing synchronization for multicore and manycore scalability - RACES '12 - Dancing with uncertainty

Misailovic, Sasa, Sidiroglou, Stelios, Rinard, Martin C.

Year:

2012

Language:

english

File:

PDF, 521 KB

english, 2012

49

[ACM Press the ACM international conference - Reno/Tahoe, Nevada, USA (2010.10.17-2010.10.21)] Proceedings of the ACM international conference on Object oriented programming systems languages and applications - OOPSLA '10 - Patterns and statistical analysis for understanding reduced resource computing

Rinard, Martin, Hoffmann, Henry, Misailovic, Sasa, Sidiroglou, Stelios

Year:

2010

Language:

english

File:

PDF, 503 KB

english, 2010

50

[ACM Press the 41st ACM SIGPLAN-SIGACT Symposium - San Diego, California, USA (2014.01.22-2014.01.24)] Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 - Sound input filter generation for integer overflow errors

Long, Fan, Sidiroglou-Douskos, Stelios, Kim, Deokhwan, Rinard, Martin

Year:

2014

Language:

english

File:

PDF, 776 KB

english, 2014

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски